Aperiodic String Transducers

Regular string-to-string functions enjoy a nice triple characterization through deterministic two-way transducers (2DFT), streaming string transducers (SST) and MSO definable functions. This result has recently been lifted to FO definable functions, with equivalent representations by means of aperiodic 2DFT and aperiodic 1-bounded SST, extending a well-known result on regular languages. In this paper, we give three direct transformations: i) from 1-bounded SST to 2DFT, ii) from 2DFT to copyless SST, and iii) from k-bounded to 1-bounded SST. We give the complexity of each construction and also prove that they preserve the aperiodicity of transducers. As corollaries, we obtain that FO definable string-to-string functions are equivalent to SST whose transition monoid is finite and aperiodic, and to aperiodic copyless SST

Modular Descriptions of Regular Functions

We discuss various formalisms to describe string-to-string transformations. Many are based on automata and can be seen as operational descriptions, allowing direct implementations when the input scanner is deterministic. Alternatively, one may use more human friendly descriptions based on some simple basic transformations (e.g., copy, duplicate, erase, reverse) and various combinators such as function composition or extensions of regular operations.Comment: preliminary version appeared in CAI 2019, LNCS 1154

Prostate Cancer Induced by Loss of Apc Is Restrained by TGFβ Signaling

Recent work with mouse models of prostate cancer (CaP) has shown that inactivation of TGFβ signaling in prostate epithelium can cooperate with deletion of the Pten tumor suppressor to drive locally aggressive cancer and metastatic disease. Here, we show that inactivating the TGFβ pathway by deleting the gene encoding the TGFβ type II receptor (Tgfbr2) in combination with a deletion of the Apc tumor suppressor gene specifically in mouse prostate epithelium, results in the rapid onset of invasive CaP. Micro-metastases were observed in the lymph nodes and lungs of a proportion of the double mutant mice, whereas no metastases were observed in Apc single mutant mice. Prostate-specific Apc;Tgfbr2 mutants had a lower frequency of metastasis and survived significantly longer than Pten;Tgfbr2 double mutants. However, all Apc;Tgfbr2 mutants developed invasive cancer by 30 weeks of age, whereas invasive cancer was rarely observed in Apc single mutant animals, even by one year of age. Further comparison of the Pten and Apc models of CaP revealed additional differences, including adenosquamous carcinoma in the Apc;Tgfbr2 mutants that was not seen in the Pten model, and a lack of robust induction of the TGFβ pathway in Apc null prostate. In addition to causing high-grade prostate intra-epithelial neoplasia (HGPIN), deletion of either Pten or Apc induced senescence in affected prostate ducts, and this restraint was overcome by loss of Tgfbr2. In summary, this work demonstrates that TGFβ signaling restrains the progression of CaP induced by different tumor suppressor mutations, suggesting that TGFβ signaling exerts a general tumor suppressive effect in prostate.This work was supported by a Program Project Grant from the National Cancer Institute (2P01CA104106 to B. Paschal and D. Wotton), and by a pilot grant from the UVA Cancer Center (funded from the CCSG P30 CA44579, the James and Rebecca CraigFoundation, and UVA Women's Oncology fund) to D. Wotton. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript. We thank Sharon Birdsall for technical assistance, Anindya Dutta and Dan Gioeli for helpful discussions, and Chun-Song Yang for advice and reagent

Microdialysis Combined with Proteomics for Protein Identification in Breast Tumor Microenvironment In Vivo

Tumor microenvironment constitutes a reservoir for proteins released from tumor cells and the host, which can contribute significantly to tumor growth and invasion. This study aims to apply a method of combining in vivo microdialysis and proteomics to identify proteins in mammary tumor interstitial fluids, a major component of tumor microenvironment. In vivo microdialysis was performed in polyomavirus middle T antigen (PyVmT) transgenic mouse mammary tumors and age-matched control wild-type mammary glands. Over four hundred proteins were identified from the microdialysis perfusates, using the Multidimensional Protein Identification Technology. Osteopontin (OPN) is one of the proteins overexpressed in breast tumor perfusates, as confirmed with immunoassays. OPN was also found to be present in tumor-associated stroma in both PyVmT and human breast tumors, using immunohistochemistry. Specifically, fibroblasts were further shown to express OPN at both mRNA and protein levels. In vitro assays showed that OPN can stimulate PyVmT breast carcinoma cell proliferation and migration. Finally, the expression of OPN was significantly higher in the peripheral blood of mice bearing breast tumors, compared to wild-type mice. Overall, microdialysis combined with proteomics is a unique technique for identifying proteins in a tumor microenvironment in vivo. Mammary fibroblasts can secrete OPN, and its overexpression in mammary tumor microenvironment may contribute significantly to mammary tumor progression